- إنّ ( القياس ) المستقيم إنّما توجد فيه المقدّمات الموافقة للمطلوب بالذات . وأمّا في الخلف ، فإحدى المقدّمتين من تلك الجملة ، والأخرى نقيض المطلوب ، وأيضا فإن النتيجة في المستقيم غير بيّنة في أوّل الأمر ، حتى يتم فيلزم . وأمّا في الخلف فإن النتيجة توضع أوّلا ، ويوضع نقيضها . وإذا كان الخلف مؤلّفا من نقيض المطلوب ومن صادقة ، ينتج محالا . فإنّك إن عكست القياس فأخذت نقيض المحال وقرنته بالصادقة ، أنتج لك نقيض الثانية المشكوك فيها ، وهو المطلوب ، أعني ذلك النقيض ( س ، ق ، 521 ، 9 ) - الفرق بين ( القياس ) المستقيم و ( قياس ) الخلف أنّ المستقيم ، يقصد في أوّل الأمر فنقيس على الشيء الذي نريد أن نثبته ، وأمّا الخلف فإنّه يقصد في أوّل الأمر أن ينتج شيئا غير المطلوب ، فإذا بان كذبه عاد وأنتج كذب ما هو بسببه فأنتج صدق نقيض ذلك ، وبينهما خلاف غير ذلك ، فلهذا إذا أردت أن تردّ الخلف إلى المستقيم عكست القياس ، فأخذت نقيض المحال وقرنته بالصّادقة ، فأنتج لك نقيضه ، وهو المطلوب ( مر ، ت ، 155 ، 15 ) - قياس الخلف والقياس المستقيم صورته صورة القياس الحملي . لكن إذا كانت المقدّمتان صادقتين سمّي قياسا مستقيما . وإن كانت إحدى المقدّمتين ظاهرة الصدق ، والأخرى كاذبة ، أو مشكوكا فيها ، وأنتج نتيجة بيّنة الكذب ، ليستدلّ بها على أن المقدّمة كاذبة ، سمّي قياس خلف ( غ ، ع ، 371 ، 13 ) - كل ما تبيّن بقياس حملي وهو الذي يسمّى المستقيم يمكن أن يبيّن بتلك المقدّمات بعينها بقياس الخلف وحينئذ يكون قياس الخلف أشبه شيء بالقياس المنعكس . . . ( ش ، ق ، 312 ، 6 ) - القياس المستقيم إذا ردّ إلى الخلف تكون الحدود والمقدّمات فيها واحدا بعينه ( ش ، ق ، 312 ، 8 ) - الفرق بين القياس المستقيم وقياس الخلف إذا أنتجا مطلوبا واحدا بعينه من مقدّمات واحدة بعينها أن القياس الذي بالخلف نضع أولا ما نريد بطلانه وهو نقيض ما نروم بيانه ليسوق القول إلى كذب معترف به ؛ وأما القياس المستقيم فإنه يبتدئ من مقدّمات معترف بها . . . إلا أن القياس المستقيم يكون من المقدّمتين اللتين يكون عنهما القياس ، وأما الذي بالخلف فإحدى مقدّمتيه فقط هي من مقدّمتي القياس المستقيم والثانية نقيض النتيجة المشكوك فيها . . . ( ش ، ق ، 319 ، 3 ) - ردّ القياس المستقيم إلى الخلف هو بعينه القياس الذي يسمّى المنعكس ( ش ، ق ، 323 ، 26 ) - القياس المستقيم ليس يضع أحد فيه ما يروم إبطاله وإنما يعرض ذلك في قياس الخلف ( ش ، ق ، 332 ، 16 ) - القياس المستقيم ينتج الأخفى بالطبع من الأعرف بالطبع ( ش ، ب ، 440 ، 5 ) - القياس المستقيم هو الذي يكون بالطبع وبغير طريق صناعي ( ش ، ب ، 440 ، 10 ) - القياس المستقيم يتوجه إلى إثبات المطلوب الأول بوجهه ، ويتألف مما يناسب المطلوب ويشترط فيه تسليم المقدّمات ، أو ما يجري مجرى التسليم . والمطلوب فيه لا يكون موضوعا أولا ( ط ، ش ، 507 ، 10 )